SWSDesigner: The Graphical Interface of ODESWS

ODESWS is a development environment to design Semantic Web Services (SWS) at the knowledge level. ODESWS describe the service following a problem-solving approach in which the SWS are modelled using tasks, to represent the SWS functional features, and methods, to describe the SWS internal structure. In this paper, we describe the ODESWS graphical interface (called SWSDesinger). This interface enables users to design SWS independently of the semantic markup language in which the service will be implemented, and once the design has been export the service to an SWS implementation languag

ODESWS, A Semantic Web Service Development

ODE SWS is a development environment to design Semantic Web Services (SWS) at the knowledge level. ODE SWS describe the service following a problem-solving approach in which the SWS are modeled using tasks, to represent the SWS functional features, and methods, to describe the SWS internal structure. In this paper, we describe the ODE SWS architecture and the capabilities of its graphical interface, which enables users to design SWS independently of the semantic markup language used to represent them

A Framework for Design and Composition of Semantic Web Services

Semantic Web Services (SWS) are Web Services (WS) whose description is semantically enhanced with markup languages (e.g., OWL-S). This semantic description will enable external agents and programs to discover, compose and invoke SWSs. However, as a previous step to the specification of SWSs in a language, it must be designed at a conceptual level to guarantee its correctness and avoid inconsistencies among its internal components. In this paper, we present a framework for design and (semi) automatic composition of SWSs at a language-independent and knowledge level. This framework is based on a stack of ontologies that (1) describe the different parts of a SWS; and (2) contain a set of axioms that are really design rules to be verified by the ontology instances. Based on these ontologies, design and composition of SWSs can be viewed as the correct instantiation of the ontologies themselves. Once these instances have been created they will be exported to SWS languages such as OWL-S

A model for conservative chaos constructed from multi-component Bose-Einstein condensates with a trap in 2 dimensions

To show a mechanism leading to the breakdown of a particle picture for the multi-component Bose-Einstein condensates(BECs) with a harmonic trap in high dimensions, we investigate the corresponding 2-$d$ nonlinear Schr{\"o}dinger equation (Gross-Pitaevskii equation) with use of a modified variational principle. A molecule of two identical Gaussian wavepackets has two degrees of freedom(DFs), the separation of center-of-masses and the wavepacket width. Without the inter-component interaction(ICI) these DFs show independent regular oscillations with the degenerate eigen-frequencies. The inclusion of ICI strongly mixes these DFs, generating a fat mode that breaks a particle picture, which however can be recovered by introducing a time-periodic ICI with zero average. In case of the molecule of three wavepackets for a three-component BEC, the increase of amplitude of ICI yields a transition from regular to chaotic oscillations in the wavepacket breathing.Comment: 5 pages, 4 figure

The enigmatic young object : Walker 90/V590 Monocerotis

Aims. We assess the evolutionary status of the intriguing object Walker 90/V590 Mon, which is located about 20 arcmin northwest of the Cone Nebula near the center of the open cluster NGC 2264. This object, according to its most recent optical spectral type determination (B7), which we confirmed, is at least 3 mag too faint in V for the cluster distance, but it shows the classical signs of a young pre-main sequence object, such as highly variable H emission, Mg II emission, IR excess, UV continuum, and optical variability. Methods. We analyzed a collection of archival and original data on Walker 90, covering 45 years including photometry, imaging, and spectroscopic data ranging from ultraviolet to near-infrared wavelengths. Results. According to star formation processes, it is expected that, as this object clears its primordial surroundings, it should become optically brighter, show a weakening of its IR excess and present decreasing line emissions. This behavior is supported by our observations and analysis, but timescales are expected to be longer than the one observed here. Based on photometric data secured in 2007, we find Walker 90 at its brightest recorded optical magnitude √(12.47 ± 0.06). We document an evolution in spectral type over the past five decades (from A2/A3 to currently B7 and as early as B4), along with a decrease in the near-infrared K fluxes. From near-infrared VISIR images secured in 2004, Walker 90 appears as a point source placing an upper limit of < 0.1" for its diameter. Evidence of turbulent inflows is found in rapidly changing inverse P-Cygni profiles in the lower Balmer lines, with a broadening of ±400 km s-1 in Hα and a redshifted component in Hβ with a terminal velocity of ~600 km s-1. The measured steep UV continuum fluxes (mimicking a star as early as B4), added to a tentative identification of N V emission, suggest a strong non-photospheric component, typically of fluxes arising from a thermally inhomogeneous accretion disk. We detect a well defined 2200 Å bump, indicative of dense material in the line-of-sight. We conclude that many observational features are explained if W90 is a flared disk system, surrounded by an inclined optically thick accretion disk

The Stationary Phase Method for a Wave Packet in a Semiconductor Layered System. The applicability of the method

Using the formal analysis made by Bohm in his book, {\em "Quantum theory"}, Dover Publications Inc. New York (1979), to calculate approximately the phase time for a transmitted and the reflected wave packets through a potential barrier, we calculate the phase time for a semiconductor system formed by different mesoscopic layers. The transmitted and the reflected wave packets are analyzed and the applicability of this procedure, based on the stationary phase of a wave packet, is considered in different conditions. For the applicability of the stationary phase method an expression is obtained in the case of the transmitted wave depending only on the derivatives of the phase, up to third order. This condition indicates whether the parameters of the system allow to define the wave packet by its leading term. The case of a multiple barrier systems is shown as an illustration of the results. This formalism includes the use of the Transfer Matrix to describe the central stratum, whether it is formed by one layer (the single barrier case), or two barriers and an inner well (the DBRT system), but one can assume that this stratum can be comprise of any number or any kind of semiconductor layers.Comment: 15 pages, 4 figures although figure 4 has 5 graph

Local Anomalies, Local Equivariant Cohomology and the Variational Bicomplex

The locality conditions for the vanishing of local anomalies in field theory are shown to admit a geometrical interpretation in terms of local equivariant cohomology, thus providing a method to deal with the problem of locality in the geometrical approaches to the study of local anomalies based on the Atiyah-Singer index theorem. The local cohomology is shown to be related to the cohomology of jet bundles by means of the variational bicomplex theory. Using these results and the techniques for the computation of the cohomology of invariant variational bicomplexes in terms of relative Gel'fand-Fuks cohomology introduced in [6], we obtain necessary and sufficient conditions for the cancellation of local gravitational and mixed anomalies.Comment: 36 pages. The paper is divided in two part